Lecture Notes in Computer Science

Results: 278



#Item
251Steganographic file system / Serpent / Computer security / Tamper resistance / Ambient intelligence / Ross J. Anderson / Cryptography / Security / Lecture Notes in Computer Science

Bibliography [1] M Abadi, ‘‘Explicit Communications Revisited: Two New Attacks on Authentication Protocols’’, in IEEE Transactions on Software Engineering v 23 no 3 (Mar 97) pp 185–[removed]M Abadi, RM Needham,

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2008-04-27 10:00:47
252Mathematics / Logic in computer science / Formal methods / Formal verification / Model checking / Magnus Egerstedt / KeY / Edmund M. Clarke / Lecture Notes in Computer Science / Theoretical computer science / Applied mathematics / Automated theorem proving

Andr´ e Platzer Last updated: July 6, 2013 Contact Information

Add to Reading List

Source URL: symbolaris.com

Language: English - Date: 2013-09-18 18:27:49
253DEAL / Phelix / Twofish / Lecture Notes in Computer Science / Advanced Encryption Standard / Fast Software Encryption / Cryptographic hash function / Cryptography / Stream ciphers / Stefan Lucks

Publications by Stefan Lucks Books and Chapters in Books 1. A. Weimerskirch, D. Westhoff, S. Lucks, E. Zenner, “Efficient Pairwise Authentication Protocols for Sensor Networks: Theory and Performance Analysis”, IEEE

Add to Reading List

Source URL: th.informatik.uni-mannheim.de

Language: English - Date: 2006-06-20 09:24:04
254TTCN / Specification and Description Language / Algorithmic Number Theory Symposium / Computing / Message Sequence Chart / Lecture Notes in Computer Science / Model-driven engineering / Abstract Syntax Notation One / Software engineering / Diagrams / Science / Unified Modeling Language

September 29-30, 2014. Valencia, Spain. co-located with MODELS ORGANIZING COMMITTEE Program Co-Chairs: • Daniel Amyot, University of

Add to Reading List

Source URL: www.pragmadev.com

Language: English - Date: 2014-02-18 10:22:26
255Conference on Computer Vision and Pattern Recognition / Ambient intelligence / Science / Electronic engineering / Knowledge / European Conference on Computer Vision / Lecture Notes in Computer Science / International Conference on Computer Vision

Frank R. Schmidt Albert-Ludwigs-Universit¨ at Freiburg Georges-K¨ohler-Allee[removed]Freiburg im Breisgau Germany

Add to Reading List

Source URL: www.frank-r-schmidt.de

Language: English - Date: 2013-10-27 06:25:22
256Design of experiments / Scientific method / Evaluation methods / Research / Statistical hypothesis testing / Empirical research / Hypothesis / Statistics / Experiment / Science / Knowledge / Information

Lecture Notes in Computer Science:

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2006-03-27 12:06:19
257Computational complexity theory / Computer science / Complexity / NP-complete / Lecture Notes in Computer Science / AWPP / Computational learning theory / Theoretical computer science / Science / Applied mathematics

Curriculam Vitae MANINDRA AGRAWAL, N. Rama Rao Chair Professor

Add to Reading List

Source URL: www.cse.iitk.ac.in

Language: English - Date: 2012-09-16 03:19:14
258Logicians / Yuri Matiyasevich / Symposium on Theoretical Aspects of Computer Science / Lecture Notes in Computer Science / Nearest neighbor search / Obfuscated code / Saint Petersburg State University of Information Technologies /  Mechanics and Optics / Theoretical computer science / Algorithmic Number Theory Symposium / Information science / Mathematics / Science

December[removed]Yury Lifshits

Add to Reading List

Source URL: yury.name

Language: English - Date: 2009-12-02 22:11:35
259Applied mathematics / Floating point / Time complexity / Algorithm / Point in polygon / Machine epsilon / Computational geometry / Arbitrary-precision arithmetic / Delaunay triangulation / Computer arithmetic / Theoretical computer science / Mathematics

Lecture Notes on Geometric Robustness Jonathan Richard Shewchuk

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-04-15 20:12:06
260Ronald Cramer / Moni Naor / Centrum Wiskunde & Informatica / Jacques Stern / Hideki Imai / International Cryptology Conference / David Naccache / Silvio Micali / Arjen Lenstra / Cryptography / PKC / International Association for Cryptologic Research

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors:

Add to Reading List

Source URL: f3.tiera.ru

Language: English - Date: 2010-01-05 10:02:28
UPDATE